Search results for "Choice sequence"

Did Brouwer’s Intuitionistic Analysis Satisfy Its Own Epistemological Standards?

2000

The aim of this essay is both historical and philosophical. On the histori. level, the following remarks are intended to contribute to a better understanding of the missing reception of the more advanced parts of Luitzen E. J. Brouwer’s intuitionistic mathematics. More precisely, I want to draw attention to a crucial technical difficulty in Brouwer’s treatment of the basic theorems of intuitionistic analysis. It concerns the (intuitionistic) proof of what Brouwer viewed as one of the cornerstones of intuitionistic set theory, the “fan theorem,” as it is often called today. This difficulty most probably presented a serious obstacle to contemporary attempts to understand Brouwer’s contributio…